zh 數理邏輯
― Synonym ⟶
Weight: 1.0
en symbolic logic Source: CC-CEDICT 2017-10